Returns width of a scrollbar

<div class="definition">
    scrollBarSize()
</div>

The width of the scroll bar is different from one OS to another. Sometime, even the same OS might have different scrollbar width. This methods
detects the width of the scrollbar. It is used by other widgets, most notably the grid.
<div style="height: 10px"></div>